Wyniki
-
Higher-order sequent-system for intuitionistic modal logic
Kosta Dosen
Bulletin of the Section of Logic , 14 /4 (1985) s. 140-143 -
Cut elimination in adjunction
Kosta Dosen
Bulletin of the Section of Logic , 28 /2 (1999) s. 61-73 -
Axiomatization of intuitionistic double negation
Milan Bozic, Kosta Dosen
Bulletin of the Section of Logic , 12 /3 (1983) s. 99-104 -
A note on neighbourhoods
Peter Steinacker
Bulletin of the Section of Logic , 14 /3 (1985) s. 94-97 -
On certain modal systems connected with S4,3
Peter Geach
Bulletin of the Section of Logic , 2 /1 (1973) s. 8-11 -
Kripke-style semantics for Jaskowski's system Qf
Max Peter Urchs
Bulletin of the Section of Logic , 10 /1 (1981) s. 24-29 -
Quantification over lines
Heinz-Peter Tuschnik
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 116 -
On determinism - still unproved in classical logic
Max Peter Urchs
Bulletin of the Section of Logic , 21 /4 (1992) s. 168 -
Quasi equational logic of partial algebras
Hajnal Andreka, Peter Burmeister, Istvan Nemeti
Bulletin of the Section of Logic , 9 /4 (1980) s. 193-197